FRAME.LSP[BNF,JRA] - www.SailDart.org

perm filename FRAME.LSP[BNF,JRA] blob sn#042359 filedate 1973-05-15 generic text, type T, neo UTF8

(DEFPROP <AXIOM> 
 (LAMBDA NIL
  (NLRR (QUOTE AXIOM)
	(FUNCTION
	 (LAMBDA NIL (COND ((AND (<NAME>) (<ASSUM>) (<DRECUR>) (<INEQ>) (<BODY>)) (S_AXIOM)) (*NIL*)))))) 
EXPR)

(DEFPROP <NAME> 
 (LAMBDA NIL (NLRR (QUOTE NAME) (FUNCTION (LAMBDA NIL (COND ((AND (<ID>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <ASSUM> 
 (LAMBDA NIL
  (NLRR (QUOTE ASSUM)
	(FUNCTION (LAMBDA NIL (COND ((AND (SPWD T)) (QUOTE T)) ((AND (SPWD NIL)) NIL) (*NIL*)))))) 
EXPR)

(DEFPROP <DRECUR> 
 (LAMBDA NIL
  (NLRR (QUOTE DRECUR)
	(FUNCTION (LAMBDA NIL (COND ((AND (SPWD T)) (QUOTE T)) ((AND (SPWD NIL)) NIL) (*NIL*)))))) 
EXPR)

(DEFPROP <INEQ> 
 (LAMBDA NIL
  (NLRR (QUOTE INEQ)
	(FUNCTION (LAMBDA NIL (COND ((AND (SPWD NIL)) NIL) ((AND (CH /() (<INARGS>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <INARGS> 
 (LAMBDA NIL
  (NLRR (QUOTE INARGS)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<INARG>) (CH /,) (<INARGS>)) (CONS (STK 2) (STK 0)))
		((AND (<INARG>) (CH /))) (CONS (STK 1) NIL))
		(*NIL*)))))) 
EXPR)

(DEFPROP <INARG> 
 (LAMBDA NIL
  (NLRR (QUOTE INARG)
	(FUNCTION (LAMBDA NIL (COND ((AND (SPWD X)) (QUOTE X)) ((AND (CH ⊗)) (QUOTE ⊗)) (*NIL*)))))) 
EXPR)

(DEFPROP <BODY> 
 (LAMBDA NIL
  (NLRR (QUOTE BODY)
	(FUNCTION (LAMBDA NIL (COND ((AND (<PRECOND>) (<POSTCOND>)) (CONS (STK 1) (STK 0))) (*NIL*)))))) 
EXPR)

(DEFPROP <PRECOND> 
 (LAMBDA NIL
  (NLRR (QUOTE PRECOND)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<PREPRED>) (CH ;) (<PRECOND>)) (CONS (STK 2) (STK 0)))
		((AND (CH ;))
		 (CONS (CONS (QUOTE THSETQ)
			     (CONS (CONS (QUOTE THV) (CONS (QUOTE DBLITS) NIL))
				   (CONS (CONS (QUOTE CONS)
					       (CONS (CONS (QUOTE CDAR) (CONS (QUOTE CT) NIL))
						     (CONS (CONS (QUOTE THV) (CONS (QUOTE DBLITS) NIL)) NIL)))
 					 NIL)))
		       (CONS (CONS (QUOTE COND)
				   (CONS (CONS (CONS (QUOTE EQ)
						     (CONS (CONS (QUOTE QUOTE) (CONS (QUOTE IF) NIL))
							   (CONS (CONS (QUOTE CADAR) (CONS (QUOTE CT) NIL))
 								 NIL)))
					       (CONS (CONS (QUOTE ELSECLAUSE) NIL) NIL))
					 (CONS (CONS (QUOTE T)
						     (CONS (CONS (QUOTE THSETQ)
								 (CONS (QUOTE CT)
								       (CONS (CONS (QUOTE CDR)
										   (CONS (QUOTE CT) NIL))
									     (CONS (QUOTE T)
										   (CONS (QUOTE T) NIL)))))
 							   NIL))
 					       NIL)))
 			     NIL)))
		(*NIL*)))))) 
EXPR)

(DEFPROP <PREPRED> 
 (LAMBDA NIL (NLRR (QUOTE PREPRED) (FUNCTION (LAMBDA NIL (COND ((AND (<PRED>)) (S_PREPRED)) (*NIL*)))))) 
EXPR)

(DEFPROP <PRED> 
 (LAMBDA NIL
  (NLRR (QUOTE PRED)
	(FUNCTION (LAMBDA NIL (COND ((AND (<NOT>) (<LIT>)) (STK 1)) ((AND (<LIT>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <LIT> 
 (LAMBDA NIL
  (NLRR (QUOTE LIT)
	(FUNCTION (LAMBDA NIL (COND ((AND (<PREDLET>) (<ITMLST>)) (CONS (STK 1) (STK 0))) (*NIL*)))))) 
EXPR)

(DEFPROP <ITMLST> 
 (LAMBDA NIL (NLRR (QUOTE ITMLST) (FUNCTION (LAMBDA NIL (COND ((AND (CH /() (<ITMS>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <ITMS> 
 (LAMBDA NIL
  (NLRR (QUOTE ITMS)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<TM2>) (<ITMS>)) (CONS (STK 1) (STK 0)))
		((AND (<TM>) (CH /))) (CONS (STK 1) NIL))
		(*NIL*)))))) 
EXPR)

(DEFPROP <TM2> 
 (LAMBDA NIL (NLRR (QUOTE TM2) (FUNCTION (LAMBDA NIL (COND ((AND (<TM>) (CH /,)) (STK 1)) (*NIL*)))))) 
EXPR)

(DEFPROP <TM> 
 (LAMBDA NIL
  (NLRR (QUOTE TM)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<IVAR>)) (CONS (QUOTE THV) (CONS (STK 0) NIL)))
		((AND (<PREFN>) (<ITMLST>)) (CONS (STK 1) (STK 0)))
		((AND (<PREFN>)) (CONS (STK 0) NIL))
		(*NIL*)))))) 
EXPR)

(DEFPROP <POSTCOND> 
 (LAMBDA NIL
  (NLRR (QUOTE POSTCOND)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<POSTPRED>) (CH ;) (<POSTCOND>)) (CONS (STK 2) (STK 0))) ((AND (CH ;)) NIL) (*NIL*)))))) 
EXPR)

(DEFPROP <POSTPRED> 
 (LAMBDA NIL (NLRR (QUOTE POSTPRED) (FUNCTION (LAMBDA NIL (COND ((AND (<PRED>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <IVAR> 
 (LAMBDA NIL (NLRR (QUOTE IVAR) (FUNCTION (LAMBDA NIL (COND ((AND (<ID>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <PREFN> 
 (LAMBDA NIL (NLRR (QUOTE PREFN) (FUNCTION (LAMBDA NIL (COND ((AND (<ID>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <PREDLET> 
 (LAMBDA NIL (NLRR (QUOTE PREDLET) (FUNCTION (LAMBDA NIL (COND ((AND (<ID>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <NOT> 
 (LAMBDA NIL (NLRR (QUOTE NOT) (FUNCTION (LAMBDA NIL (COND ((AND (CH ¬)) (QUOTE ¬)) (*NIL*)))))) 
EXPR)